home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / laame101.zip / ES11.TXT next >
Text File  |  1993-06-06  |  2KB  |  130 lines
  1. ------------------------------------------------------------------------------
  2. *                                                                            *
  3. *  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
  4. *                                                                            *
  5. ------------------------------------------------------------------------------
  6.  
  7. Giorno: 6-6-1993
  8.  
  9. Funzione: Σ6  (48,40,36,34,33,24,20,18,17,12,10,9,6,5,3,56,52,50,49,44,42,41,
  10.                38,37,35,28,26,25,22,21,19,14,13,11,7,60,58,57,54,53,51,46,45,
  11.                43,39,30,29,27,23,15)
  12.  
  13. Numero di variabili: 6
  14. Numero di mintermini: 50
  15. Stato dell'elaborazione: TERMINATA
  16. Generazione dell'input: DETERMINISTICA
  17. Combinazioni da 2 a 4 uni
  18. Tempo totale di elaborazione: 10:6:31
  19.  
  20. --------------------------
  21. *         FASE A         *
  22. --------------------------
  23. Tempo di elaborazione: 0:0:1
  24. Numero implicanti primi: 90
  25.  
  26. Implicanti primi determinati: 
  27.     abEF
  28.     abDF
  29.     abDE
  30.     abCF
  31.     abCE
  32.     abCD
  33.     acEF
  34.     acDF
  35.     acDE
  36.     aBcF
  37.     aBcE
  38.     aBcD
  39.     adEF
  40.     aCdF
  41.     aCdE
  42.     aBdF
  43.     aBdE
  44.     aBCd
  45.     aDeF
  46.     aCeF
  47.     aCDe
  48.     aBeF
  49.     aBDe
  50.     aBCe
  51.     aDEf
  52.     aCEf
  53.     aCDf
  54.     aBEf
  55.     aBDf
  56.     aBCf
  57.     bcEF
  58.     bcDF
  59.     bcDE
  60.     AbcF
  61.     AbcE
  62.     AbcD
  63.     bdEF
  64.     bCdF
  65.     bCdE
  66.     AbdF
  67.     AbdE
  68.     AbCd
  69.     bDeF
  70.     bCeF
  71.     bCDe
  72.     AbeF
  73.     AbDe
  74.     AbCe
  75.     bDEf
  76.     bCEf
  77.     bCDf
  78.     AbEf
  79.     AbDf
  80.     AbCf
  81.     cdEF
  82.     BcdF
  83.     BcdE
  84.     AcdF
  85.     AcdE
  86.     ABcd
  87.     cDeF
  88.     BceF
  89.     BcDe
  90.     AceF
  91.     AcDe
  92.     ABce
  93.     cDEf
  94.     BcEf
  95.     BcDf
  96.     AcEf
  97.     AcDf
  98.     ABcf
  99.     CdeF
  100.     BdeF
  101.     BCde
  102.     AdeF
  103.     ACde
  104.     ABde
  105.     CdEf
  106.     BdEf
  107.     BCdf
  108.     AdEf
  109.     ACdf
  110.     ABdf
  111.     CDef
  112.     BDef
  113.     BCef
  114.     ADef
  115.     ACef
  116.     ABef
  117.  
  118. --------------------------
  119. *         FASE B         *
  120. --------------------------
  121. Quine I dx
  122. Tempo di elaborazione: 10:6:30
  123. Numero di forme prime paragonate: 3449719
  124. Numero di tabelle cicliche esaminate: 3449718
  125. Numero di implicanti soluzione: 15
  126.  
  127. SOLUZIONE (forma minima): 
  128. abCD + aBcD + aBdE + aBCe + aCEf + bcDE + cdEF + bCdF + cDeF + BdeF + AbeF +
  129. AbCf + AdEf + ABef + AcDf
  130.